Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
171	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
172	Local ITG-like Instability in the Two-fluid and Extended MHD Models in Slab Geometry D. D. Schnack∗, D. C. Barnes†, Ping Zhu, C. C. Hegna and C. R. Sovinec Center for Plasma Theory and Computation Department of Engin Add to Reading List Source URL: www.cptc.wisc.edu Language: English - Date: 2012-05-02 11:46:46
173	Grown-in Defects of InSb Crystals: Models and Computation N. Vaidya ∗, H. Huang †, and D. Liang ‡ Department of Mathematics & Statistics, York University Toronto, Canada M3J 1P3. August 22, 2005 Add to Reading List Source URL: v.web.umkc.edu Language: English - Date: 2013-01-23 16:27:52
174	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
175	PDF Document Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2014-04-10 03:07:04 Logic in computer science Game theory Models of computation Formal methods Denotational semantics Game semantics Semantics Strategy Equivalence of categories Sheaf
176	PDF Document Add to Reading List Source URL: ncgia.ucsb.edu Language: English - Date: 2015-10-21 13:14:08 Complex systems theory Simulation Metaphysics Systems science Academia Scientific modeling Multi-agent systems Models of computation Agent-based model Emergence Intelligent agent Scientific modelling
177	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:11 Theoretical computer science Mathematics Software engineering Logic in computer science Models of computation Programming language semantics Lambda calculus Operational semantics Substitution Expression Variable Monad
178	SYSTEMS SECURITY Editors: Patrick McDaniel, \| Sean W. Smith, Beyond Planted Bugs in “Trusting Trust” The Input-Processing Frontier Sergey Bratus, Trey Darley, Michael Locasto Add to Reading List Source URL: langsec.org Language: English - Date: 2014-04-02 21:43:44 Computability theory Theory of computation Models of computation Turing machine Markup languages Parsing Halting problem Software bug Programming language Theoretical computer science Computer science Computing
179	Retro dataflow: Accomplishments of the Sisal Language Project Pat Miller1 John Feo2 Tom Deboni3 Add to Reading List Source URL: www.nersc.gov Language: English - Date: 2012-02-04 21:05:42 SISAL Models of computation Computer architecture Supercomputers Parallel computing Dataflow Vector processor Assignment Cray-2 Computing Software engineering Functional languages
180	Delft University of Technology Software Engineering Research Group Technical Report Series Parse Table Composition Separate Compilation and Binary Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-12-30 16:24:40 Compiler construction Computing Parsing Automata theory Models of computation LR parser Formal grammar Parsing table Compiler-compiler Formal languages Programming language implementation Software engineering

UPDATE